Journal of Symbolic Logic - PDFSEARCH.IO - Document Search Engine

Journal of Symbolic Logic
Results: 24

#	Item
21	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
22	On the Restricted Ordinal Theorem R. L. Goodstein The Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp[removed]. Add to Reading List Source URL: hpcn.cse.iitm.ac.in Language: English - Date: 2012-07-24 00:01:30 Ordinal number Constructible universe Function Mathematical induction Primitive recursive function Binomial coefficient Bernoulli number Mathematics Functions and mappings Mathematical logic
23	Believing the Axioms. II Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 3. (Sep., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:27 Axiom of determinacy Borel determinacy theorem Axiom of choice Axiom of projective determinacy Zermelo–Fraenkel set theory L Descriptive set theory Forcing Continuum hypothesis Mathematical logic Set theory Determinacy
24	Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics